Technical report : a language for combinatorial creativity Rapport technique : un langage pour la créativité combinatoire
نویسندگان
چکیده
Combinatorial creativity combines existing concepts in a novel way in order to produce new concepts. For example, we can imagine jewelry that measures blood pressure. For this, we would combine the concept of jewelry with the capabilities of medical devices. Combinatorial creativity can be used to develop new business ideas, to find plots for books or movies, or simply to disrupt conventional thinking. In this paper, we propose a formal language for combinatorial creativity, based on description logics. We show that our language can be used to model existing inventions and (to a limited degree) to generate new concepts. This report complements our paper at the ISWC 2016 conference [22].
منابع مشابه
G-OWL : Vers un langage de modélisation graphique, polymorphique et typé pour la construction d'une ontologie dans la notation OWL
Résumé : Le Web Ontology Language (OWL) standardisé par le W3C a pour objectif d’offrir un langage de conception d’ontologies pour le web sémantique. L’ingénierie d’une ontologie est une activité complexe nécessitant une habilité peu accessible à des experts de contenu. En revanche, pour modéliser du contenu métier, la modélisation graphique semi-formelle est une technique souvent employée pour...
متن کاملOn the Ehrenfeucht Conjecture for DOL Languages
— Ehrenfeucht conjectured that each language L over a finite alphabet E possesses a test set, that is a finite subset F of L such that every two morphisms on E* agreeing on each string in F also agree on each string in L. We introducé the notion of déviation of a string with respect to a language and use it to give a sufficient condition for the existence of such a test set. Moreover, we prove ...
متن کاملAméliorer les performances de l'industrie logicielle par une meilleure compréhension des besoins
progrès considérables réalisés par la technologie informatique, on constate que les acteurs restent très souvent critiques par rapport à leur systèmes d'information. Une des causes de cet écart entre les espoirs et la réalité trouve sa source dans la difficulté à produire un cahier des charges suffisamment détaillé pour les opérationnels et interprétable par les spécialistes des systèmes d'info...
متن کاملMachines, Interprètes
Ceci est la version 3 de la troisième partie du cours de lambda-calcul, datant du 02 juin 2014. La version 2 datait du 28 janvier 2011. La première version datait du 15 avril 2002. Merci à Hang Zhou et à Arthur Milchior. Aucune machine réelle n’exécute directement la relation de β-réduction du λcalcul, ou même d’un langage fonctionnel plus pratique comme Caml ou Haskell. Il est donc nécessaire ...
متن کاملVerification of clock constraints: CCSL Observers in Esterel
The Clock Constraint Speci cation Language (ccsl) has been informally introduced in the speci cations of the uml Pro le for Modeling and Analysis of Real-Time and Embedded systems (MARTE). In a previous report entitled Syntax and Semantics of the Clock Constraint Speci cation Language , we equipped a kernel of ccsl with an operational semantics. In the present report we pursue this clari cation...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016